type node int -> o.
type edge int -> int -> o.
type auxE int -> int -> o.
type auxN int  -> o.

type colour int -> int -> o.

type bipartite o.
type colourN   int ->  tsub -> tsub -> o -> o.
type moveE tsub -> o -> o.

type tComponent tsub -> o.

type tCustom o. 
type test o. 
